Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
21	BU CAS CS 320 (Spring Semester, Concepts of Programming Languages Assignment 5 Out: Tuesday, 19 Feburary 2002 Due: Friday, 1 March 2002 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-10-01 21:50:12 Software engineering Computer programming Declarative programming Functional languages Data structures Standard ML Recursion Haskell features
22	Higher Order Modules Revisited David MacQueen University of Chicago Wednesday, April 18, 12 Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Software engineering Computer programming Procedural programming languages Functional languages Programming language theory Standard ML ML Functor Ur
23	Currying (what Functions of Several Arguments Really are) More About Higher-Order Functions Remember simple? Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-27 09:57:47 Higher-order functions Functional programming Subroutines Lambda calculus Programming language comparisons Fold Currying Map Function Recursion Standard ML OCaml
24	Towards Efficient Conversions by use of Partial Evaluation Morten Welinder DIKU, Department of Computer Science University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Formal methods Functional languages Automated theorem proving Computability theory Theoretical computer science Partial evaluation Theorem Functional programming Compiler Standard ML Succ Evaluation
25	Microsoft PowerPoint - Lect-interpv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-23 09:14:19 Lambda calculus Functional programming Control flow Eval Data types Scheme Anonymous function Apply Standard ML
26	Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages 1 2 Add to Reading List Source URL: kashmir.dcc.fc.up.pt Language: English - Date: 2015-07-24 05:23:42 Functional languages Theoretical computer science Functional programming Recursion Type theory Corecursion Lambda calculus Standard ML Lazy evaluation Stream Monad Haskell
27	Fundamenta Informaticae–19 1 IOS Press Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-08-15 15:31:55 Logic programming Type theory Dependently typed programming Programming language theory Automated theorem proving Higher-order abstract syntax Lambda calculus Substitution Standard ML Env Normalisation by evaluation
28	ML pattern match compilation and partial evaluation? Peter Sestoft Department of Mathematics and Physics Royal Veterinary and Agricultural University Thorvaldsensvej 40, DK-1871 Frederiksberg C, Denmark Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Functional languages Procedural programming languages Programming language comparisons Method Functional programming Term Pattern matching Constructor Standard ML ML JavaScript Map
29	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2015-04-20 13:48:41 Logic in computer science Operational semantics Lambda calculus Closure Combinatory logic Denotational semantics Divergence Rewriting Algorithm Semantics Standard ML
30	02157 Functional Programming - Lecture 1: Introduction and Getting Started Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2012-09-06 09:06:11 Programming paradigms Functional languages Procedural programming languages Functional programming Declarative programming Technical University of Denmark Standard ML Imperative programming Programming language ML Procedural programming Lisp